# Maintainer: Patrycja Rosa <alpine@ptrcnull.me>
pkgname=symbiyosys
pkgver=0.36
pkgrel=0
pkgdesc="Front-end for Yosys-based formal verification flows"
url="https://github.com/YosysHQ/sby"
# s390x, riscv64: blocked by yosys
arch="noarch !s390x !riscv64"
license="ISC"
depends="python3 py3-click yosys"
checkdepends="bash"
source="$pkgname-$pkgver.tar.gz::https://github.com/YosysHQ/sby/archive/yosys-$pkgver.tar.gz"
builddir="$srcdir/sby-yosys-$pkgver"

check() {
	make test
}

package() {
	make DESTDIR="$pkgdir" PREFIX=/usr install
}

sha512sums="
3a6f56644e54670d448cb0e80d7f1a76e3fd06a5464bc73b9015101f56552c77569bb61ec4c64a41bab7c4d145a38c54c779e5d7fbced280f98b17009acc9aa7  symbiyosys-0.36.tar.gz
"
